Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
101	LETTERS PUBLISHED ONLINE: 6 APRIL 2014 \| DOI: [removed]NNANO[removed]Universal computing by DNA origami robots in a living animal Yaniv Amir1†, Eldad Ben-Ishay1†, Daniel Levner2, Shmulik Ittah1, Almogit Abu-Horowitz1 Add to Reading List Source URL: life-sciences.biu.ac.il Language: English - Date: 2014-04-08 02:13:35 Theoretical computer science Quantum information science Logic Algebraic logic Adder Computer arithmetic XOR gate Controlled NOT gate Robot Logic gates Abstract algebra Mathematics
102	A Brief Concluding Comment MICHAEL DUMMETT The dispute between Dr Rupert Read and myself1 turns principally upon philosophical methodology, which is why it may have been interesting even to those indifferent to philosoph Add to Reading List Source URL: www.rupertread.fastmail.co.uk Language: English - Date: 2006-07-08 02:46:04 Ontology Real algebraic geometry Real number Quantity Number Time Function 0 Mathematical logic Mathematics Elementary mathematics Abstract algebra
103	II. Algebraic Theory of Elliptic Curves In this chapter we sketch the general theory of elliptic curves from an algebraic viewpoint. This material is fairly standard, although some of our proofs may differ from the ones Add to Reading List Source URL: www.math.jussieu.fr Language: English - Date: 2004-09-20 07:25:40 Vector bundles Analytic number theory Elliptic curve Group theory Intersection number Canonical bundle Ample line bundle Combinatory logic Algebraic number field Abstract algebra Algebraic geometry Geometry
104	EJTP 4, No. 16(III[removed]–14 Electronic Journal of Theoretical Physics Multiboundary Algebra as Pregeometry Ben Goertzel∗ Add to Reading List Source URL: www.ejtp.com Language: English - Date: 2009-08-25 12:57:40 Algebraic structures Mathematical structures Linear algebra Group theory Boolean algebra Combinatory logic Vector space Outline of algebraic structures Clifford algebra Algebra Mathematics Abstract algebra
105	EXPRESS[removed]Event Structure Spans for Nondeterministic Dataflow Lucy Saunders-Evans Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-10-19 12:06:43 Logic in computer science Algebraic topology Denotational semantics Sheaf Quasigroup Abstract algebra Mathematics Theoretical computer science
106	The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012 THE ABSOLUTE ARITHMETIC CONTINUUM AND THE UNIFICATION OF ALL NUMBERS GREAT AND SMALL Add to Reading List Source URL: www.ohio.edu Language: English - Date: 2012-01-31 12:26:37 Real algebraic geometry Mathematical logic Field theory Real closed field Philip Ehrlich Infinitesimal Surreal number Real number Archimedean property Mathematics Abstract algebra Infinity
107	Logical Aspects of Set Constraints Dexter Kozen Computer Science Department Cornell University Ithaca, New York 14853, USA [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-05-29 09:46:24 Boolean algebra Algebraic structures Order theory Algebraic logic Field of sets Ideal Complete Heyting algebra Heyting algebra Interior algebra Mathematics Abstract algebra Mathematical logic
108	A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events Dexter Kozen Department of Computer Science Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-05-29 09:45:27 Algebra Formal languages Algebraic logic Many-valued logic Boolean algebra Kleene algebra Kleene star Semiring Stephen Cole Kleene Abstract algebra Mathematics Algebraic structures
109	D:WARTICLESOLDSTUFFSKETCHSKETCH.DVI Add to Reading List Source URL: www.cwru.edu Language: English - Date: 2014-02-26 21:53:08 Higher category theory Algebraic topology Adjoint functors Sheaf theory Topos Sketch Categorical logic Regular category Michael Barr Category theory Abstract algebra Mathematics
110	arXiv:1008.3145v1 [math.LO] 18 Aug 2010 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Algebraic structures Boolean algebra Model theory Algebraic logic Order theory Stone duality Interpretation Adjoint functors Sheaf Mathematics Mathematical logic Abstract algebra

UPDATE